Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
971	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
972	Free Noodle Soup E. Tellgren July 12, 2006 In this note I want to point out a relation between the No-Free-Lunch (NFL) Theorem and some simple models of biological evolution. This point is mathematically trivial, but I b Add to Reading List Source URL: talkreason.org Language: English - Date: 2006-07-12 12:43:06 Mathematical optimization Selection Evolutionary biology Science Fitness landscape No free lunch in search and optimization No free lunch theorem Biology Evolutionary computation Population genetics Mathematics Evolutionary algorithms
973	Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-01 16:01:54 Graph connectivity Diagrams Models of computation Directed acyclic graph Transitive closure Reachability Unreachable memory Model checking Connected component Graph theory Mathematics Theoretical computer science
974	Stream Reasoning in DyKnow: A Knowledge Processing Middleware System? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping Univers Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:58:43 Inter-process communication Software engineering Computer programming Computer data Stream Flow-based programming Computing Programming paradigms Models of computation
975	Stream-Based Reasoning in DyKnow? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:31:51 Inter-process communication Software engineering Computer programming Computer data Stream Computing Programming paradigms Models of computation
976	Genetic Programming James McDermott and Una-May O’Reilly Evolutionary Design and Optimization Group, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachuse Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-12-21 11:02:30 Cybernetics Mathematical optimization Computer science Models of computation Theoretical computer science Genetic programming Genetic algorithm Evolutionary computation Machine learning Applied mathematics Evolutionary algorithms Mathematics
977	C. H. Bennett Logical Reversibility of Computation* Abstract: The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-12 09:26:33 Theory of computation Computer science Computability theory Formal methods Reversible computing Computation history Computability Reverse computation Post–Turing machine Turing machine Models of computation Theoretical computer science
978	Solving LWE problem with bounded errors in polynomial time Jintai Ding1,2 Southern Chinese University of Technology, 1 University of Cincinnati, 2 [removed] Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-11-02 07:13:56 Cryptography Computational complexity theory Information theory Models of computation Learning with errors Lattice problem Quantum computer PP Low Theoretical computer science Applied mathematics Mathematics
979	Quantum computing with braids in flatland Add to Reading List Source URL: phys.org Language: English - Date: 2015-02-08 11:27:48 Classes of computers Models of computation Condensed matter physics Quantum phases Quantum information science Anyon Quantum computer Quasiparticle Topological quantum computer Physics Theoretical computer science Quantum mechanics
980	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:57:01 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory